R. Kashima, T. Kurahashi, S. Iwata; "Cut-free sequent calculi for the provability logic D"
2310.16369 Cut-free sequent calculi for the provability logic D
2023.10.27
Memo
鹿島 亮，倉橋 太志，岩田 荘平
証明可能性論理Dのカット除去定理について．